2

Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction

Année:
2018
Langue:
english
Fichier:
PDF, 1015 KB
english, 2018
8

Dynamic Graded Epistemic Logic

Année:
2019
Langue:
english
Fichier:
PDF, 642 KB
english, 2019
15

Proof Analysis of Peirce’s Alpha System of Graphs

Année:
2017
Langue:
english
Fichier:
PDF, 556 KB
english, 2017
18

PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC

Année:
2018
Langue:
english
Fichier:
PDF, 302 KB
english, 2018
37

Covering-based rough sets and modal logics. Part I

Année:
2016
Langue:
english
Fichier:
PDF, 372 KB
english, 2016
41

Sequent Calculi for Semi-De Morgan and De Morgan Algebras

Année:
2017
Langue:
english
Fichier:
PDF, 633 KB
english, 2017
44

Covering-based rough sets and modal logics. Part II

Année:
2018
Langue:
english
Fichier:
PDF, 449 KB
english, 2018
48

Optimisation Design of Coupling Region Based on SOI Micro-Ring Resonator

Année:
2014
Langue:
english
Fichier:
PDF, 800 KB
english, 2014